How Requirements Specification Quality Depends on Tools: A Case Study
نویسنده
چکیده
Requirements specification is a complex activity, where the automated support by the requirements engineering (RE) tools plays an important role. However, the surveys report that the mainstream practice relies on office and modelling tools rather than the targeted RE-tools. This work performs a case study, where two requirements specification processes are analyzed. In order to prepare a requirements document, standard office and modelling tools are used in the first case. In the second case, requirements specification is executed by the means of the RE-tools. Finally, the quality of both requirements documents is compared and evaluated by their qualitative properties. The results indicate that the targeted RE-tools provide better support for the RE process than the standard office and modelling facilities. The requirements document prepared using the targeted RE-tools, is substantially of better quality. The work findings suggest the RE-tool features which could be improved for the qualitative automated support of the RE process.
منابع مشابه
Formal Verification of Coordination Systems' Requirements - A Case Study on the European Train Control System
Formal verification techniques of system requirements such as model-checking and theorem proving aims to show that the requirements satisfy some properties. Consequently, their success depends on the quality of the properties formulation. We propose an approach to verify requirements of coordination systems by generating automatically the properties to be verified from the requirements themselv...
متن کاملUsing WinWin Quality Requirements Management Tools: A Case Study
Negotiating stakeholder win-win relationships among software quality requirements is a technique that emerged during the 1990’s in order to overcome the difficulties arising from contract-oriented specification compliance (popular in the 1970’s) and service-oriented customer satisfaction (popular in the 1980’s). Obstacles to adoption of negotiated win-win relationships include coordination of m...
متن کاملSoftware Quality Starts with the Modelling of Goal-Oriented Requirements
Developing high quality requirements specifications is mandatory for a number of critical industrial systems. The KAOS goal-driven methodology has been designed to elicit and validate requirements and also to prove their consistency. This methodology has been successfully implemented in two integrated tools (Objectiver and FAUST) and has been validated in many industrial projects. All of these ...
متن کاملThe Clepsydra Methodology
The use of formal methods early in the development process has been advocated as a way of improving the quality of software products and their production process. Here we study the influence of a formal requirements document on the next phase in the software process, that is design. We suggest that formal design should logically follow from formal requirements. We show that two different formal...
متن کاملWeb-Based System for Software Requirements Quality Analysis Using Case-Based Reasoning and Neural Network
The overall success of a software project depends on the quality of its software requirements specifications (SRS). Hence, it is very important to get the requirements correct from the onset of the project. This research paper proposes a web-based system to perform SRS quality analysis using Case-Based Reasoning (CBR) and Artificial Neural Network (ANN). CBR is an AI technique that learns and d...
متن کامل